Перевод: со всех языков на все языки

со всех языков на все языки

inferential proof

См. также в других словарях:

  • Inferential role semantics — (also: conceptual role semantics, functional role semantics, procedural semantics) is an approach to the theory of meaning that identifies the meaning of an expression with its relationship to other expressions, typically its inferential… …   Wikipedia

  • Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… …   Wikipedia

  • Existence of God —     The Existence of God     † Catholic Encyclopedia ► The Existence of God     The topic will be treated as follows:     I. As Known Through Natural Reason     A. The Problem Stated     1. Formal Anti Theism     2. Types of Theism     B.… …   Catholic encyclopedia

  • Meaning (philosophy of language) — The nature of meaning, its definition, elements, and types, was discussed by philosophers Aristotle, Augustine, and Aquinas. According to them meaning is a relationship between two sorts of things: signs and the kinds of things they mean (intend …   Wikipedia

  • List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… …   Wikipedia

  • Res ipsa loquitur — is a legal term from the Latin meaning, the thing itself speaks but is more often translated the thing speaks for itself. It signifies that further details are unnecessary; the proof of the case is self evident. The doctrine is applied to tort… …   Wikipedia

  • Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… …   Wikipedia

  • Linguistic meaning — See also Meaning (linguistics). Linguistic meaning is the content carried by the words or signs exchanged by people when communicating through language. Restated, the communication of meaning is the purpose and function of language. A… …   Wikipedia

  • Hume on human understanding — David Hume on human understanding Anne Jaap Jacobson David Hume’s A Treatise of Human Nature1 was published before he was 30 years old. It is often said to be the greatest philosophical work written in English. Bold and ambitious, it is designed… …   History of philosophy

  • Psychology (The separation of) from philosophy — The separation of psychology from philosophy Studies in the sciences of mind 1815–1879 Edward S.Reed THE IMPOSSIBLE SCIENCE Traditional metaphysics The consensus of European opinion during and immediately after the Napoleonic era was that… …   History of philosophy

  • Descriptive knowledge — Descriptive knowledge, also declarative knowledge or propositional knowledge, is the species of knowledge that is, by its very nature, expressed in declarative sentences or indicative propositions. This distinguishes descriptive knowledge from… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»